Integrating safety analysis and requirements engineering

نویسندگان

  • Gerald Kotonya
  • Ian Sommerville
چکیده

Some systems failures are due to defects in manufacturing and design, however that there are a significant number of system failures which result from errors, omissions and inconsistencies in the system requirements. We thus need methods to support a ‘safe’ requirements engineering process whose objectives are to specify system requirements such that system states which compromise safety are avoided and to include, along with the requirements, a justification or safety case which explains why the specified system is indeed safe. This paper describes the extension of a viewpoint-based requirements method to incorporate safety analysis. requirements discovery as distinct from requirements analysis. This is particularly important for safetyrelated systems where the safety analysis is concerned with discovering what the system must not do rather than what services it should provide. We have addressed this problem by extending a viewpointoriented method for software requirements analysis so that it can cover broader systems issues and by incorporating support for safety analysis with this method. This method focuses on the processes of requirements discovery and analysis rather than the development of detailed system models.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Model-based Reliability And Safety Analysis, Fosters Agility In Design Of Mission-Critical Systems

In Systems Engineering Verification and Testing for Reliability and Safety are the most complex, error-prone and expensive tasks. This paper explains how Model Based Systems Engineering Techniques and Methodologies, powered by SysML, can facilitate Agility in Design for Reliability and Safety of Mission-Critical Systems in several Industries like Aerospace, Medical, Automotive, Transportation. ...

متن کامل

Analysis and Forecast of Mining Accidents in Pakistan

In the mining sector, the barrier to obtain an efficient safety management system is the unavailability of future information regarding the accidents. This paper aims to use the auto-regressive integrated moving average (ARIMA) model, for the first time, to evaluate the underlying causes that affect the safety management system corresponding to the number of accidents and fatalities in the surf...

متن کامل

SOFTWARE VERIFICATION RESEARCH CENTRE SCHOOL OF INFORMATION TECHNOLOGY THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 99-46 A Process for Derivation and Quantification of Safety Requirements for Components of Complex Systems

This report describes a formal approach to verification and validation of safety requirements for embedded software, by application to a simple control-logic case study. The logic is formally specified in Z. System safety properties are formalised by defining The paper develops a theoretical basis for assigning safety requirements for components of complex systems, including software, in a form...

متن کامل

Integrating requirements engineering and cognitive work analysis: A case study

Requirements engineering is a fundamental component of systems engineering. This paper describes how, and where, cognitive engineering (specifically the Cognitive Work Analysis (CWA) framework) could be applied in requirements engineering. We introduce an existing RE toolkit, the ι* modeling framework, and compare it with the CWA framework. The paper concludes with an outline of opportunities t...

متن کامل

Toward Integrating a System Theoretic Safety Analysis in an Agile Development Process

Agile development methodologies are becoming a tendency in today’s changing software development. However, due to a lack of safety assurance activities, especially safety analysis, agile methods are criticized for being inadequate for the development of safe software. In this paper, we introduce an agile ”Safe Scrum” by mapping a novel systematic safety analysis method, called STPA (System-Theo...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1997